🔬 programming language theory - abnv · Scour

New programming language 📚Stack Languages

github.com

·20h·DEV·

Programming languages for AI 📐Standard ML

blog.ploeh.dk·3d·

Building CompilerSutra 🎓Teaching Compilers

docs.google.com·4h·DEV·

Abstract Semantic Graph 🌳Expression Trees

en.wikipedia.org·1d·Hacker News·

Programming Languages and Type Safety in the Era of LLMs 📐Standard ML

thecodedmessage.com·12h·

A+ 💬REPL Design

aplwiki.com·2d·Hacker News·

The Type Theorists need to take a look at Zig ⚙️Zig Comptime

pure-systems.org·5d·Hacker News·

Linear types proposal for Hare 📏Linear Types

yerinalexey.srht.site·19h·Lobsters, Hacker News·

The Lisp Curse 🌱Minimal Lisps

winestockwebdesign.com·1d·

The Grammar at the Threshold of Its Own Execution 📋Backus-Naur Form

jimiwen.substack.com·7h·Substack·

Formal Verification in Any Language for Everybody 🏭Functional Compilers

dev-log.me·1d·Hacker News·

A programming language specifically for AI code generation 🪞Metaprogramming

aria-lang.com·6d·Hacker News·

Optimizing for Understanding 🦀MIR Optimization

blog.br11k.dev·12h·Hacker News·

What makes a programming language whole? 📚Forth Compilers

siru.ink·1d·

Simple Top-Down Parsing in Python 📝PEG Parsing

web.archive.org·17h·r/programming·

A WASM first programming language with effect typing 🎨Domain-Specific Languages

voyd.dev·1d·Hacker News·

The Wrong Spherical Cow - First Principles of Parts Based Programming 🏛️Elm Architecture

programmingsimplicity.substack.com·4d·Substack·

The Racket Programming Language 🎭Racket

racket-lang.org·1d·Hacker News·

CESIL and other programming languages 🛠programming language development

blog.scribblings.com·6d·Lobsters·

Matrix Calculus (for ML and beyond) -- notes. 🔍ML Language

kosti.bearblog.dev·1d·

Loading more...